Ivana Cerna: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Formal analysis of piecewise affine systems through formula-guided refinement

Boyan Yordanov, Jana Tůmová, Ivana Černá, Jiří Barnat, Calin Belta

Journal:

Year:

2013

Language:

english

File:

PDF, 832 KB

english, 2013

2

[Lecture Notes in Computer Science] SOFSEM 2011: Theory and Practice of Computer Science Volume 6543 ||

Černá, Ivana, Gyimóthy, Tibor, Hromkovič, Juraj, Jefferey, Keith, Králović, Rastislav, Vukolić, Marko, Wolf, Stefan

Year:

2011

Language:

english

File:

PDF, 8.84 MB

english, 2011

3

[Lecture Notes in Computer Science] SOFSEM 2011: Theory and Practice of Computer Science Volume 6543 || Unambiguous UML Composite Structures: The OMEGA2 Experience

Černá, Ivana, Gyimóthy, Tibor, Hromkovič, Juraj, Jefferey, Keith, Králović, Rastislav, Vukolić, Marko, Wolf, Stefan

Year:

2011

Language:

english

File:

PDF, 281 KB

english, 2011

4

Temporal Logic Control of Discrete-Time Piecewise Affine Systems

Yordanov, Boyan, Tumova, Jana, Cerna, Ivana, Barnat, Jiří, Belta, Calin

Journal:

IEEE Transactions on Automatic Control

Year:

2012

Language:

english

File:

PDF, 1.02 MB

english, 2012

5

Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties

Svorenova, Maria, Cerna, Ivana, Belta, Calin

Journal:

IEEE Transactions on Automatic Control

Year:

2015

Language:

english

File:

PDF, 1.95 MB

english, 2015

6

On clock-aware LTL parameter synthesis of timed automata

Bezděk, Peter, Beneš, Nikola, Černá, Ivana, Barnat, Jiří

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2018

Language:

english

File:

PDF, 1019 KB

english, 2018

7

Component Substitutability via Equivalencies of Component-Interaction Automata

Ivana Černá, Pavlína Vařeková, Barbora Zimmerova

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 459 KB

english, 2007

8

Modifications of Expansion Trees for Weak Bisimulation in BPA

Jitka Stříbrná, Ivana Černá

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 251 KB

english, 2003

9

Local Distributed Model Checking of Reg CTL

Tomáš Brázdil, Ivana Černá

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 206 KB

english, 2002

10

Phase transformations in MgTbNd alloy

Bohumil Smola, Ivana Stulíková, Jaroslava Černá, Jakub Čížek, Martin Vlach

Journal:

physica status solidi (a)

Year:

2011

Language:

english

File:

PDF, 568 KB

english, 2011

11

Comparing expressibility of normed BPA and normed BPP processes

Ivana Černá, Mojmír Křetínsky, Antonín Kučera

Journal:

Acta Informatica

Year:

1999

Language:

english

File:

PDF, 177 KB

english, 1999

12

Distributed breadth-first search LTL model checking

Jiří Barnat, Ivana Černá

Journal:

Formal Methods in System Design

Year:

2006

Language:

english

File:

PDF, 417 KB

english, 2006

13

Preface

Guido Boella, Mehdi Dastani, Andrea Omicini, Leendert van der Torre, Ivana Cerna, Isabelle Linden

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 107 KB

english, 2007

14

Preface

Ivana Černá, Boudewijn R. Haverkort

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 95 KB

english, 2008

15

Preface

Ivana Černá, Gerald Lüttgen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 95 KB

english, 2008

16

Neoplastic transformation of the thyroid gland is accompanied by changes in cellular sialylation

Pavel Babál, Pavol Janega, Andrea Černá, Ivana Kholová, Eva Brabencová

Journal:

Acta Histochemica

Year:

2006

Language:

english

File:

PDF, 2.37 MB

english, 2006

17

Sialic acid expression in autoimmune thyroiditis

Pavol Janega, Andrea Černá, Ivana Kholová, Eva Brabencová, Pavel Babál

Journal:

Acta Histochemica

Year:

2002

Language:

english

File:

PDF, 311 KB

english, 2002

18

[Lecture Notes in Computer Science] Mathematical and Engineering Methods in Computer Science Volume 7119 || Rigorous System Design: The BIP Approach

Kotásek, Zdeněk, Bouda, Jan, Černá, Ivana, Sekanina, Lukáš, Vojnar, Tomáš, Antoš, David

Year:

2012

Language:

english

File:

PDF, 369 KB

english, 2012

19

Thrombocytopenia at diagnosis as an important negative prognostic marker in isolated 5q− MDS (IPSS low and intermediate-1)

Anna Jonasova, Jaroslav Cermak, Jana Vondrakova, Magda Siskova, Ivana Hochova, Eva Kadlckova, Olga Cerna, Michal Sykora, Vera Vozobulova, Nadezda Seifertova, Kyra Michalova, Zuzana Zemanova, Jana Brez

Journal:

Leukemia Research

Year:

2012

Language:

english

File:

PDF, 128 KB

english, 2012

20

[Lecture Notes in Computer Science] Mathematical and Engineering Methods in Computer Science Volume 7119 ||

Kotásek, Zdeněk, Bouda, Jan, Černá, Ivana, Sekanina, Lukáš, Vojnar, Tomáš, Antoš, David

Year:

2012

Language:

english

File:

PDF, 3.42 MB

english, 2012

21

[IEEE 2009 International Workshop on High Performance Computational Systems Biology (HIBI) - CoSBi, Trento, Italy (2009.10.14-2009.10.16)] 2009 International Workshop on High Performance Computational Systems Biology - Computational Analysis of Large-Scale Multi-affine ODE Models

Brim, Lubos, Barnat, Jiri, Cerna, Ivana, Drazan, Sven, Fabrikova, Jana, Safranek, David

Year:

2009

Language:

english

File:

PDF, 589 KB

english, 2009

22

[IEEE 2012 IEEE Global Engineering Education Conference (EDUCON) - Marrakech, Morocco (2012.04.17-2012.04.20)] Proceedings of the 2012 IEEE Global Engineering Education Conference (EDUCON) - eLearning within the engineering education in the Czech Republic

Simonova, Ivana, Cerna, Miloslava, Bilek, Martin

Year:

2012

Language:

english

File:

PDF, 234 KB

english, 2012

23

[IEEE 2010 49th IEEE Conference on Decision and Control (CDC) - Atlanta, GA, USA (2010.12.15-2010.12.17)] 49th IEEE Conference on Decision and Control (CDC) - Formal analysis of piecewise affine systems through formula-guided refinement

Yordanov, Boyan, Tumova, Jana, Belta, Calin, Cerna, Ivana, Barnat, Jiri

Year:

2010

Language:

english

File:

PDF, 684 KB

english, 2010

24

[IEEE 2013 American Control Conference (ACC) - Washington, DC (2013.6.17-2013.6.19)] 2013 American Control Conference - Optimal receding horizon control for finite deterministic systems with temporal logic constraints

Svorenova, Maria, Cerna, Ivana, Belta, Calin

Year:

2013

Language:

english

File:

PDF, 440 KB

english, 2013

25

[IEEE 2010 49th IEEE Conference on Decision and Control (CDC) - Atlanta, GA, USA (2010.12.15-2010.12.17)] 49th IEEE Conference on Decision and Control (CDC) - A symbolic approach to controlling piecewise affine systems

Tumova, Jana, Yordanov, Boyan, Belta, Calin, Cerna, Ivana, Barnat, Jiri

Year:

2010

Language:

english

File:

PDF, 349 KB

english, 2010

26

[IEEE 2012 IEEE 51st Annual Conference on Decision and Control (CDC) - Maui, HI, USA (2012.12.10-2012.12.13)] 2012 IEEE 51st IEEE Conference on Decision and Control (CDC) - Attraction-based receding horizon path planning with temporal logic constraints

Svorenova, Maria, Tumova, Jana, Barnat, Jiri, Cerna, Ivana

Year:

2012

Language:

english

File:

PDF, 431 KB

english, 2012

27

[IEEE 2013 IEEE 52nd Annual Conference on Decision and Control (CDC) - Firenze (2013.12.10-2013.12.13)] 52nd IEEE Conference on Decision and Control - Optimal control of MDPs with temporal logic constraints

Svorenova, Maria, Cerna, Ivana, Belta, Calin

Year:

2013

Language:

english

File:

PDF, 395 KB

english, 2013

28

[IEEE 2015 IEEE Global Engineering Education Conference (EDUCON) - Tallinn, Estonia (2015.3.18-2015.3.20)] 2015 IEEE Global Engineering Education Conference (EDUCON) - Pre-conditions for efficient m-learming

Simonova, Ivana, Poulova, Petra, Cerna, Miloslava

Year:

2015

Language:

english

File:

PDF, 457 KB

english, 2015

29

[ACM Press the 2005 conference - Lisbon, Portugal (2005.09.05-2005.09.06)] Proceedings of the 2005 conference on Specification and verification of component-based systems - SAVCBS '05 - Component-interaction automata as a verification-oriented component-based system specification

Brim, Luboš, Černá, Ivana, Vařeková, Pavlína, Zimmerova, Barbora

Year:

2005

Language:

english

File:

PDF, 181 KB

english, 2005

30

[ACM Press the 10th international workshop - Lisbon, Portugal (2005.09.05-2005.09.06)] Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05 - Enhancing random walk state space exploration

Pelánek, Radek, Hanžl, Tomáš, Černá, Ivana, Brim, Luboš

Year:

2005

Language:

english

File:

PDF, 155 KB

english, 2005

31

[ACM Press the 18th International Conference - Seattle, Washington (2015.04.14-2015.04.16)] Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 - Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games

Svoreňová, Mária, Křetínský, Jan, Chmelík, Martin, Chatterjee, Krishnendu, Černá, Ivana, Belta, Calin

Year:

2015

Language:

english

File:

PDF, 1.06 MB

english, 2015

32

[ACM Press the 18th International Conference - Seattle, Washington (2015.04.14-2015.04.16)] Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 - Temporal logic motion planning using POMDPs with parity objectives

Svoreňová, Mária, Chmelík, Martin, Leahy, Kevin, Eniser, Hasan Ferit, Chatterjee, Krishnendu, Černá, Ivana, Belta, Calin

Year:

2015

Language:

english

File:

PDF, 636 KB

english, 2015

33

[ACM Press the 2007 conference - Dubrovnik, Croatia (2007.09.03-2007.09.04)] Proceedings of the 2007 conference on Specification and verification of component-based systems 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering - SAVCBS '07 - Effective verification of systems with a dynamic number of components

Vařeková, Pavlína, Moravec, Pavel, Černá, Ivana, Zimmerova, Barbora

Year:

2007

Language:

english

File:

PDF, 557 KB

english, 2007

34

[ACM Press the 16th International ACM Sigsoft symposium - Vancouver, British Columbia, Canada (2013.06.17-2013.06.21)] Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering - CBSE '13 - DCCL

Barnat, Jiří, Beneš, Nikola, Černá, Ivana, Petruchová, Zuzana

Year:

2013

Language:

english

File:

PDF, 568 KB

english, 2013

35

[ACM Press the 15th ACM SIGSOFT symposium - Bertinoro, Italy (2012.06.25-2012.06.28)] Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering - CBSE '12 - Reliability analysis in component-based development via probabilistic model checking

Benes, Nikola, Buhnova, Barbora, Cerna, Ivana, Oslejsek, Radek

Year:

2012

Language:

english

File:

PDF, 1.66 MB

english, 2012

36

Abstraction of Biochemical Reaction Systems on Polytopes

Collins, Pieter J., Habets, Luc, van Schuppen, Jan H., Černá, Ivana, Fabriková, Jana, Šafránek, David

Journal:

IFAC Proceedings Volumes

Year:

2011

Language:

english

File:

PDF, 258 KB

english, 2011

37

Component-interaction automata as a verification-oriented component-based system specification

Brim, Luboš, Černá, Ivana, Vařeková, Pavlína, Zimmerova, Barbora

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2006

Language:

english

File:

PDF, 181 KB

english, 2006

38

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games

Svoreňová, Mária, Křetínský, Jan, Chmelík, Martin, Chatterjee, Krishnendu, Černá, Ivana, Belta, Calin

Journal:

Nonlinear Analysis Hybrid Systems

Year:

2016

Language:

english

File:

PDF, 2.15 MB

english, 2016

39

[IEEE 2016 American Control Conference (ACC) - Boston, MA, USA (2016.7.6-2016.7.8)] 2016 American Control Conference (ACC) - Optimal observation mode scheduling for systems under temporal constraints

Tesarova, Eva, Svorenova, Maria, Barnat, Jiri, Cerna, Ivana

Year:

2016

Language:

english

File:

PDF, 357 KB

english, 2016

40

and graph memory

Ročkai, Petr, Štill, Vladimír, Černá, Ivana, Barnat, Jiří

Journal:

Journal of Systems and Software

Year:

2018

Language:

english

File:

PDF, 906 KB

english, 2018

41

Clonal hierarchy of main molecular lesions in acute myeloid leukaemia

Herudkova, Zdenka, Culen, Martin, Folta, Adam, Jeziskova, Ivana, Cerna, Jana, Loja, Tomas, Tom, Nikola, Smejkal, Jiri, Semerad, Lukas, Dvorakova, Dana, Mayer, Jiri, Racil, Zdenek

Journal:

British Journal of Haematology

Year:

2019

File:

PDF, 2.01 MB

2019

42

[IEEE 2010 International Conference on Information Society (i-Society 2010) - London (2010.6.28-2010.6.30)] 2010 International Conference on Information Society - E-learning reflecting individual learning styles

Poulova, Petra, Cerna, Miloslava, Ivana, Simonova

Year:

2010

File:

PDF, 131 KB

2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски